翻訳と辞書 Words near each other ・ Classical Literature of Greece ・ Classical logic ・ Classical Lounge ・ Classical Love ・ Classical Lyceum Umberto I ・ Classical Malay literature ・ Classical Mandolin Society of America ・ Classical Marimba League ・ Classical Marxism ・ Classical mathematics ・ Classical mechanics ・ Classical Mechanics (Goldstein book) ・ Classical Mechanics (Kibble and Berkshire book) ・ Classical Medley ・ Classical Milanese orthography ・ Classical modal logic ・ Classical modular curve ・ Classical Mongolian language ・ Classical Movements ・ Classical Mushroom ・ Classical music ・ Classical Music (magazine) ・ Classical Music America ・ Classical music blog ・ Classical music in Australia ・ Classical music in Kosovo ・ Classical music in Scotland ・ Classical music of Birmingham ・ Classical music of the United Kingdom ・ Classical music written in collaboration Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Classical modal logic ： ウィキペディア英語版 Classical modal logic In modal logic, a classical modal logic L is any modal logic containing (as axiom or theorem) the duality of the modal operators $\backslash Diamond\; A\; \backslash equiv\; \backslash lnot\backslash Box\backslash lnot\; A$ which is also closed under the rule $A\; \backslash equiv\; B\; \backslash vdash\; \backslash Box\; A\backslash equiv\backslash Box\; B.$ Alternatively one can give a dual definition of L by which L is classical iff it contains (as axiom or theorem) $\backslash Box\; A\; \backslash equiv\; \backslash lnot\backslash Diamond\backslash lnot\; A$ and is closed under the rule $A\; \backslash equiv\; B\; \backslash vdash\; \backslash Diamond\; A\backslash equiv\backslash Diamond\; B.$ The weakest classical system is sometimes referred to as E and is non-normal. Both algebraic and neighborhood semantics characterize familiar classical modal systems that are weaker than the weakest normal modal logic K. Every regular modal logic is classical, and every normal modal logic is regular and hence classical. ==References== Chellas, Brian. ''Modal Logic: An Introduction''. Cambridge University Press, 1980. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Classical modal logic」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.